/*
 * kernel.h
 *
 * Gerencia o kernel
 *
 *  Created on: 22/09/2010
 *      Author: wendell
 */

#ifndef KERNEL_H_
#define KERNEL_H_

#include <io.h>
#include <keyboard.h>
#include <memory.h>
#include <string.h>
#include <system.h>
#include <shell.h>
#include <graphic.h>

// kernel.c
void initializeSystem(void);

#endif /* KERNEL_H_ */
